Books by author Matt Kaufmann

Showing 1 – 6 out of 6 results

1. 

   Computer-Aided Reasoning

   Matt Kaufmann, Panagiotis Manolios, J Strother Moore | Springer, 2000

   
   

   In stock at our supplier - Shipping in 10 - 13 days

   Language: English

   Binding: Hardback

   204.43 €

   Sale 7 %

   You save 17 €

   Buy
2. 

   Computer-Aided Reasoning

   Matt Kaufmann, Panagiotis Manolios, J Strother Moore | Springer, Berlin, 2000

   
   

   50/50 - We search the world

   Language: English

   Binding: Hardback

   278.91 €

   Buy
3. 

   Computer-Aided Reasoning

   Matt Kaufmann, Panagiotis Manolios, J. Strother Moore | Springer, Berlin, 2012

   
   

   50/50 - We search the world

   Language: English

   Binding: Paperback

   278.91 €

   Buy
4. 

   Interactive Theorem Proving

   Matt Kaufmann, Lawrence C. Paulson | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010

   
   

   Low in stock at our supplier - Shipping in 14 - 21 days

   Language: English

   Binding: Paperback

   109.85 €

   Buy
5. 

   Computer-Aided Reasoning

   Matt Kaufmann, Panagiotis Manolios, J. Strother Moore | Springer, Berlin, 2000

   
   

   50/50 - We search the world

   Language: English

   Binding: Hardback

   363.35 €

   Buy
6. 

   Computer-Aided Reasoning

   Matt Kaufmann, Panagiotis Manolios, J Strother Moore | Springer, Berlin, 2010

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   204.43 €

   Sale 7 %

   You save 17 €

   Buy

Books can be collected at many points all over Slovakia. Find out more